- 2 402 202 книги
- Поиск
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Автор: Jeremy Gibbons, Автор: Jose Nuno OliveiraКатегория: Компьютеры
Размер книги: 2.85 Mb
Mathematics of Program Construction: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings (Lecture Notes in Computer Science)
Автор: Roland Backhouse, Автор: Jose Nuno OliveiraКатегория: Компьютеры
Размер книги: 2.01 Mb
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Автор: Jose N. Oliveira, Автор: Pamela Zave
Размер книги: 4.28 Mb
Upgrading Clusters and Small Enterprises in Developing Countries (Ashgate Economic Geography)
Автор: Jose Antonio Puppim de OliveiraКатегория: Экономика
Размер книги: 1.36 Mb
Upgrading Clusters and Small Enterprises in Developing Countries (Ashgate Economic Geography)
Автор: Jose Antonio Puppim de OliveiraКатегория: Экономика
Размер книги: 967 Kb
ALGORITMOS - LOGICA PARA DESENVOLVIMENTO: DE PROGRAMAÇAO DE COMPUTADORES
Автор: JAYR FIGUEIREDO DE OLIVEIRA, Автор: JOSE AUGUSTO N. G. MANZANO
Размер книги: 249.00 Mb
Advanced Functional Programming 3 conf., AFP 1998
Автор: S. Doaitse Swierstra, Автор: Pedro R. Henriques, Автор: Jose N. OliveiraКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.62 Mb
Mathematics of Program Construction, 5 conf., MPC 2000
Автор: Roland Backhouse, Автор: Jose Nuno OliveiraКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.88 Mb
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
Автор: Jeremy Gibbons, Автор: Jose Nuno Oliveira
Размер книги: 3.71 Mb
FME 2001. Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings
Автор: Jose N. Oliveira, Автор: Pamela Zave
Размер книги: 5.04 Mb
Advances in Fuzzy Clustering and its Applications
Автор: Jose Valente de Oliveira, Автор: Witold Pedrycz
Размер книги: 8.54 Mb
Advances in Fuzzy Clustering and its Applications
Автор: Jose Valente de Oliveira, Автор: Witold Pedrycz
Размер книги: 8.64 Mb
Advances in Fuzzy Clustering and its Applications
Автор: Jose Valente de Oliveira, Автор: Witold Pedrycz
Размер книги: 8.55 Mb